A Hybrid Structured Object and Constraint Representation Language
نویسنده
چکیده
SOCLE is a hybrid representation system in which cells of constraints are identified with slots of frame networks. Constraint formulas are maintained with respect to slots in frame networks and in turn provide for the dependency regulation of values on the frames. This paper illustrates the use of SOCLE and outlines the control structure decisions made for its design and implementation.
منابع مشابه
Identity and Representation through Language in Ghana: The Postcolonial Self and the Other
Research related to colonialism and post colonialism shows how the identities of indigenous people were constructed and how these identities are reconstructed in our contemporary world. The thrust of this paper is that colonialism brought a shift in the linguistic structure of Ghana with the introduction of the use of English among Ghanaians. The coexistence of both Ghanaian languages and Engli...
متن کاملA Hybrid Constraint Representation and Reasoning Framework
This paper introduces JNET, a novel constraint representation and reasoning framework that supports procedural constraints and constraint attachments, providing a flexible way of integrating the constraint reasoner with a runtime software environment. Attachments in JNET are constraints over arbitrary Java objects, which are defined using Java code, at runtime, with no changes to the JNET sourc...
متن کامل2 An Approach for Solid Modelling in a Virtual Reality Environment
With today’s Virtual Reality (VR) systems, it is difficult to directly and precisely create and modify objects in a VR environment. This chapter presents an approach for solid modelling in a VR environment. Solid modelling in the VR environment is performed precisely in an intuitive manner through constraint-based manipulations. A hierarchically structured and constraint-based data model is dev...
متن کاملTaxLog: A Flexible Architecture for Logic Programming with Structured Types and Constraints
We will present the idea of a new logic programming language TaxLog. TaxLog incorporates the relational with the object-centered programming paradigm. It integrates deenite function-free horn clauses at the one and a terminological system at the other side. The terminological logic is parametrized by concrete domains, our name for a special class of constraint solvers. We will emphasize the lay...
متن کاملOzone: Integrating Structured and Semistructured Data
Applications have an increasing need to manage semistructured data (such as data encoded in XML) along with conventional structured data. We extend the structured object database model ODMG and its query language OQL with the ability to handle semistructured data based on the OEM model and Lorel language, and we implement our extensions in a system called Ozone. In our approach, structured data...
متن کامل